Found 1 query results that match IFV 5.8

  • Cadence Incisive Formal Verifier (IFV) 5.8 Linux

    Cadence® Incisive® Formal Verifier allows design teams to start RTL block verification months earlier than when using traditional simulation-based techniques. Its formal, assertion-based approach and exhaustive analysis capabilities ensure verification quality by pinpointing the source of bugs and.....
    Language : english Authorization: Retail Freshtime：2008-09-09 Size: 734MB